Deals with topics and insight into the design and architecture of next-generation computing systems that deal with human and social problems. Processor and Internet technologies form the subject matter and focal point, while information and knowledge on the Internet delivered by next-generation mobile networks form the technical core presented.

The Canadian residential sector contributes approximately 80 megatons of GHGs to the environment yearly. With the ratification of Kyoto Protocol, Canada has committed to reduce its 1990 GHG emission levels by at least 5% between 2008 and 2012. To meet this target, Canada must evaluate and exploit all feasible means to reduce fossil fuel energy consumption and GHG emissions. Test-case Canadian houses were modeled in the building-energy simulation software ESP-r. Requisite housing stock data were extracted from Canada's residential end-use energy (...) surveys. Photovoltaic and wind-turbine energy systems were assessed for their contribution to electricity generation and GHG savings. Typical household electrical consumption versus renewable electricity generation was assessed to estimate the GHG reduction, cost saving in electricity, and the impact of these technologies on single detached houses. With the use of net-metering, 100% of electricity requirements can be met by these technologies in certain cases, resulting in significant reductions in GHG emissions. (shrink)

Here are the 18 guidance points contained in the UNAIDS document on Ethical Considerations in HIV Preventive Vaccine Research, reproduced by kind permission of the Joint United Nations Programme on HIV/AIDS.

Early life stress precedes alterations to neuro-immune activation, which may mediate an increased risk for stress-related psychiatric disorders, potentially through alterations of central kynurenine pathway metabolites, the latter being relatively unexplored. We hypothesized that ELS in a non-human primate model would lead to a reduction of neuroprotective and increases of neurotoxic KP metabolites. Twelve adult female bonnet macaques reared under conditions of maternal variable foraging demand were compared to 27 age- and weight-matched non-VFD-exposed female controls. Baseline behavioral observations of social (...) affiliation were taken over a 12-week period followed by the first cerebrospinal fluid sample. Subjects were then either exposed to a 12-week repeated separation paradigm or assigned to a “no-RSP” condition followed by a second CSF. We used high-performance liquid chromatography for kynurenine, tryptophan, 5-hydroxyindoleacetic acid, kynurenic acid, and anthranilic acid as a proxy for quinolinic acid determination. At baseline, social affiliation scores were reduced in VFD-reared versus control subjects. CSF log KYNA and log KYNA/KYN ratio were lower in VFD-reared versus control subjects. CSF log KYNA/KYN was positively correlated with CSF log ANTH in VFD only. Controlling for log KYNA/KYN, log ANTH was elevated in VFD-reared subjects versus controls. CSF log KYNA/KYN obtained post-RSP was positively correlated with mean social affiliation scores during RSP, specifically in VFD. ELS is associated with a reduced neuroprotective and increased neurotoxic pathway products. That the two contrasting processes are paradoxically correlated following ELS suggests a cross-talk between two opposing KP enzymatic systems. (shrink)

We show that there is a [Formula: see text]-model of second-order arithmetic in which the choice scheme holds, but the dependent choice scheme fails for a [Formula: see text]-assertion, confirming a conjecture of Stephen Simpson. We obtain as a corollary that the Reflection Principle, stating that every formula reflects to a transitive set, can fail in models of [Formula: see text]. This work is a rediscovery by the first two authors of a result obtained by the third author in [V. (...) G. Kanovei, On descriptive forms of the countable axiom of choice, Investigations on nonclassical logics and set theory, Work Collect., Moscow, 3-136 ]. (shrink)

There are two standard ways to establish consistency in set theory. One is to prove consistency using inner models, in the way that Gödel proved the consistency of GCH using the inner model L. The other is to prove consistency using outer models, in the way that Cohen proved the consistency of the negation of CH by enlarging L to a forcing extension L[G].But we can demand more from the outer model method, and we illustrate this by examining Easton's strengthening (...) of Cohen's result:Theorem 1. There is a forcing extensionL[G] of L in which GCH fails at every regular cardinal.Assume that the universe V of all sets is rich in the sense that it contains inner models with large cardinals. Then what is the relationship between Easton's model L[G] and V? In particular, are these models compatible, in the sense that they are inner models of a common third model? If not, then the failure of GCH at every regular cardinal is consistent only in a weak sense, as it can only hold in universes which are incompatible with the universe of all sets. Ideally, we would like L[G] to not only be compatible with V, but to be an inner model of V.We say that a statement is internally consistent iff it holds in some inner model, under the assumption that there are innermodels with large cardinals. (shrink)

The foundation scheme in set theory asserts that every nonempty class has an ∈\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\in $$\end{document}-minimal element. In this paper, we investigate the logical strength of the foundation principle in basic set theory and α\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\alpha $$\end{document}-recursion theory. We take KP set theory without foundation as the base theory. We show that KP-\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$^-$$\end{document} + Π1\documentclass[12pt]{minimal} \usepackage{amsmath} (...) \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Pi _1$$\end{document}-Foundation + V=L\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$V=L$$\end{document} is enough to carry out finite injury arguments in α\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\alpha $$\end{document}-recursion theory, proving both the Friedberg-Muchnik theorem and the Sacks splitting theorem in this theory. In addition, we compare the strengths of some fragments of KP. (shrink)

Vopenka [2] proved long ago that every set of ordinals is set-generic over HOD, Gödel's inner model of hereditarily ordinal-definable sets. Here we show that the entire universe V is class-generic over, and indeed over the even smaller inner model $\mathbb{S}=$, where S is the Stability predicate. We refer to the inner model $\mathbb{S}$ as the Stable Core of V. The predicate S has a simple definition which is more absolute than any definition of HOD; in particular, it is possible (...) to add reals which are not set-generic but preserve the Stable Core. (shrink)

The stable core, an inner model of the form $\langle L[S],\in, S\rangle $ for a simply definable predicate S, was introduced by the first author in [8], where he showed that V is a class forcing extension of its stable core. We study the structural properties of the stable core and its interactions with large cardinals. We show that the $\operatorname {GCH} $ can fail at all regular cardinals in the stable core, that the stable core can have a discrete (...) proper class of measurable cardinals, but that measurable cardinals need not be downward absolute to the stable core. Moreover, we show that, if large cardinals exist in V, then the stable core has inner models with a proper class of measurable limits of measurables, with a proper class of measurable limits of measurable limits of measurables, and so forth. We show this by providing a characterization of natural inner models $L[C_1, \dots, C_n]$ for specially nested class clubs $C_1, \dots, C_n$, like those arising in the stable core, generalizing recent results of Welch [29]. (shrink)

v. 1. Introduction to the study of Qurʼan -- v. 2. Surat ul-Faateha to Surat-ul-Baqarah (sections 1-21) -- v. 3. Surat-ul-Baqarah (sections 22 to 37) -- v. 4. Surat-ul-Baqarah (sections 38-40), Surat Aal-e-Imran, Surat-un-Nisa (sections 1 and 2) -- v. 5. Surat-un-Nisa (sections 3 to 24), Surat Al-Maaʼidah (complete), Surat Al-Anʼaam (sections 1-5) -- v. 6. Surat Al-Anʼaam (sections 6-20) -- v. 7. Surat Yunus to Surat Ibrahim -- v. 8. Surat al-Hijr to Surat al-kahf -- v. 9. Surat Maryam (...) to Surat-ul-Moʼminoon -- v. 10. Surat-un-Noor to Surat-ul-Qasas -- v. 11. Suratul Ankaboot to Surat Faatir -- v. 12. Surat Yaaseen to Surat-ush-Shoora -- v. 13. Surat Zukhruf to Surat Toor -- v. 14. Surat-un-Najm to Surat-ul-Munafiqoon -- v. 15. Surat-at-Taghaabun to Surat-al-Infitaar -- v. 16. Surat-at-Tateef to surat-an-Naas. (shrink)

The continuum function αmaps to2α on regular cardinals is known to have great freedom. Let us say that F is an Easton function iff for regular cardinals α and β, image and α<β→F≤F. The classic example of an Easton function is the continuum function αmaps to2α on regular cardinals. If GCH holds then any Easton function is the continuum function on regular cardinals of some cofinality-preserving extension V[G]; we say that F is realised in V[G]. However if we also wish (...) to preserve measurable cardinals, new restrictions must be put on F. We say that κ is F-hypermeasurable iff there is an elementary embedding j:V→M with critical point κ such that H)Vsubset of or equal toM; j will be called a witnessing embedding. We will show that if GCH holds then for any Easton function F there is a cofinality-preserving generic extension V[G] such that if κ, closed under F, is F-hypermeasurable in V and there is a witnessing embedding j such that j≥F, then κ will remain measurable in V[G]. (shrink)

In this paper we are concerned about the ways GCH can fail in relation to rank-into-rank hypotheses, i.e., very large cardinals usually denoted by I3, I2, I1 and I0. The main results are a satisfactory analysis of the way the power function can vary on regular cardinals in the presence of rank-into-rank hypotheses and the consistency under I0 of the existence of j:Vλ+1≺Vλ+1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${j : V_{\lambda+1} {\prec} V_{\lambda+1}}$$\end{document} with the failure of GCH (...) at λ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\lambda}$$\end{document}. (shrink)

The iterative concept of set is standardly taken to justify ZFC and some of its extensions. In this paper, we show that the maximal iterative concept also lies behind a class of further maximality principles expressing the maximality of the universe of sets V in height and width. These principles have been heavily investigated by the first author and his collaborators within the Hyperuniverse Programme. The programme is based on two essential tools: the hyperuniverse, consisting of all countable transitive models (...) of ZFC, and V -logic, both of which are also fully discussed in the paper. (shrink)

In recent years, one of the main thrusts of set-theoretic research has been the investigation of maximality principles for V, the universe of sets. The Hyperuniverse Programme (HP) has formulated several maximality principles, which express the maximality of V both in height and width. The paper provides an overview of the principles which have been investigated so far in the programme, as well as of the logical and model-theoretic tools which are needed to formulate them mathematically, and also briefly shows (...) how optimal principles, among those available, may be selected in a justifiable way. (shrink)

A classic result of Baumgartner-Harrington-Kleinberg [1] implies that assuming CH a stationary subset of ω1 has a CUB subset in a cardinal-perserving generic extension of V, via a forcing of cardinality ω1. Therefore, assuming that $\omega_2^L$ is countable: { $X \in L \mid X \subseteq \omega_1^L$ and X has a CUB subset in a cardinal -preserving extension of L} is constructible, as it equals the set of constructible subsets of $\omega_1^L$ which in L are stationary. Is there a similar such (...) result for subsets of $\ omega_2^L$ ? Building on work of M. Stanley [9], we show that there is not. We shall also consider a number of related problems, examining the extent to which they are "solvable" in the above sense, as well as defining a notion of reduction between them. (shrink)

A central area of current philosophical debate in the foundations of mathematics concerns whether or not there is a single, maximal, universe of set theory. Universists maintain that there is such a universe, while Multiversists argue that there are many universes, no one of which is ontologically privileged. Often model-theoretic constructions that add sets to models are cited as evidence in favour of the latter. This paper informs this debate by developing a way for a Universist to interpret talk that (...) seems to necessitate the addition of sets to V. We argue that, despite the prima facie incoherence of such talk for the Universist, she nonetheless has reason to try and provide interpretation of this discourse. We present a method of interpreting extension-talk (V-logic), and show how it captures satisfaction in `ideal' outer models and relates to impredicative class theories. We provide some reasons to regard the technique as philosophically virtuous, and argue that it opens new doors to philosophical and mathematical discussions for the Universist. (shrink)

This paper investigates when it is possible for a partial ordering P to force Pκ(λ) \ V to be stationary in VP. It follows from a result of Gitik that whenever P adds a new real, then Pκ(λ) \ V is stationary in VP for each regular uncountable cardinal κ in VP and all cardinals λ > κ in VP [4]. However, a covering theorem of Magidor implies that when no new ω-sequences are added, large cardinals become necessary [7]. The (...) following is equiconsistent with a proper class of ω₁-Erdős cardinals: If P is N₁-Cohen forcing, then Pκ(λ) \ V is stationary in VP, for all regular κ ≥ N₂ and all λ > κ. The following is equiconsistent with an ω₁-Erdős cardinal: If P is N₁-Cohen forcing, then PN₂ (N₃) \ V is stationary in VP. The following is equiconsistent with κ measurable cardinals: If P is κ-Cohen forcing, then Pκ + (Nκ \ V is stationary in VP. (shrink)

The Hyperuniverse Programme, introduced in Arrigoni and Friedman (2013), fosters the search for new set-theoretic axioms. In this paper, we present the procedure envisaged by the programme to find new axioms and the conceptual framework behind it. The procedure comes in several steps. Intrinsically motivated axioms are those statements which are suggested by the standard concept of set, i.e. the `maximal iterative concept', and the programme identi fies higher-order statements motivated by the maximal iterative concept. The satisfaction of these statements (...) (H-axioms) in countable transitive models, the collection of which constitutes the `hyperuniverse' (H), has remarkable 1st-order consequences, some of which we review in section 5. (shrink)

Unmanned aerial vehicles, particularly quadcopters, have several medical, agriculture, surveillance, and security applications. However, the use of this innovative technology for civilian applications is still very limited in low-income countries due to the high cost, whereas low-cost controllers available in the market are often tuned using the hit and trial approach and are limited for specific applications. This paper addresses this issue and presents a novel proof of concept low-cost quadcopter UAV design approach using a systematic Model-Based Design method for (...) mathematical modeling, simulation, real-time testing, and prototyping. The quadcopter dynamic model is developed, and controllers are designed using Proportional Integral, and Derivative, Pole Placement, and Linear Quadratic Regulator control strategies. The stability of the controllers is also checked using Lyapunov stability analysis. For verification and validation of the design, Software-in-the-Loop, Processor-in-the-Loop, Hardware-in-the-loop testing, and Rapid Control Prototyping have been performed. The V&V methods of the MBD approach showed practically valid results with a stable flight of the quadcopter prototype. The proposed low-cost POC quadcopter design approach can be easily modified to have enhanced features, and quadcopters with different design parameters can be assembled using this approach for a diverse range of applications. (shrink)

In recent years, there has been an escalation in cases of cyber violence, which has had a chilling effect on users' behavior toward social media sites. This article explores the causes behind cyber violence and provides empirical data for developing means for effective prevention. Using elements of the stimulus–organism–response theory, we constructed a model of cyber-violence behavior. A closed-ended questionnaire was administered to collect data through an online survey, which results in 531 valid responses. A proposed model was tested using (...) partial least squares structural equation modeling using SmartPLS 3.0, v. Research findings show that information inequality is a strong external stimulus with a significant positive impact on digital distrust and negative emotion. However, the effects of information overload on digital distrust and the adverse effects of communication overload on negative emotions should not be ignored. Both digital distrust and negative emotions have significant positive impacts on cyber violence and cumulatively represent 11.5% changes in cyber violence. Furthermore, information overload, communication overload, information inequality, and digital distrust show a 27.1% change in negative emotions. This study also presents evidence for competitive mediation of digital distrust by information overload, information inequality, and cyber violence. The results of this study have implications for individual practitioners and scholars, for organizations, and at the governmental level regarding cyber-violence behavior. To test our hypotheses, we have constructed an empirical, multidimensional model, including the role of specific mediators in creating relationships. (shrink)

The traditional, dogmatic educational sys tem was reinforced by the addition of science instruction to its curriculum. Three errors are reinforced by this move and the subsequent split of the system into streams. a) Pressure is confused with coercion, b) Interactive study is confused with assigned e x e r c i s e s a n d w i t h s e l f- instruction, and c) Aptitude (disposition) is confused with talent (ability). Reform must begin in the (...) public educational system, at least until experimental schooling becomes the norm; yet research must now repudiate traditional v iews and develop the theory of, and the tools for, free interactive study, aiming at imparting universal literacy, including science literacy. (shrink)

During the German-Soviet War and in the decades that followed, the Volyn Orthodox clergy functioned under a cohesive social ghetto, which was to ensure the gradual assimilation of the social group in accordance with the needs of the totalitarian regime. In this situation, the national self-awareness of a part of the sacred priests did not fit into the coordinates of the Nazi religious and ethnic politics and, later, into the process of creation of the Soviet people. The question of national (...) identity remains relevant, and now, when it is the basis of the newest Ukrainian state-making, it has caused division in the Orthodox field. The national consciousness of the Volyn clergy in the years of war and in the era of Soviet totalitarianism never became a topic of separate study. To date, scientists have only partially addressed the problem. Although in 1960, the head of the ROC Council, V. Kuroedov, said that the remnants of religious remnants contributed to preserving the bourgeois nationalist sentiment. The compilers of the first volume of documents and materials “Martyrology of the Ukrainian Churches” Osip Zinkevich and Alexander Voronin, analyzing the national composition of the bishopric of the Russian Church in Ukraine as of 1986, hoped that in case of revival of Ukrainian Orthodoxy, the origin of some of them role. (shrink)

somewhat like Henkin's nonstandard interpretation of higher-order logics, while the right semantics [or logical modalities is an analogue to the standard of type theory in Henkin's sense. interpretation Another possibility would be to follow W.V. Quine's advice to give up logi­ cal modalities as being beyond repair. Or we could also try to develop a logic of conceptual possibility, restricting the range of our "possible worlds" to those compatible with the transcendental presuppositions of our own conceptual sys­ tem. This looks (...) in fact like one of the most interesting possible theories I have dreamt of developing but undoubtedly never will. Its kinship with Kant's way of thinking should be obvious. Besides putting the entire enterprise of possible-worlds semantics into a perspective, we can also see that the actual history of possible-worlds seman­ tics is more complicated than it might first appear to be. For the standard in­ terpretation of modal logics has reared its beautiful head repeatedly in the writings of Stig Kanger, Richard Montague the pre-Montague-semantics theorist, and Nino Cocchiarella. (shrink)

We introduce proof nets and sequent calculus for the multiplicative fragment of non-commutative logic, which is an extension of both linear logic and cyclic linear logic. The two main technical novelties are a third switching position for the non-commutative disjunction, and the structure of order variety.

The Book Reinterprets Some Basic Concepts Of Paramanu (Atom), Samanya (Universal), Ahamkara (The Ego-Principle) And Karma As Understood By The Classical Indian Philosophical Systems The Nyaya-Vaishesikas, Samkhyas And The Buddhists. The Articles Explore The Study Of Aristotle'S Mean (Mesotes) And Buddha'S Middle Path (Majjhima Patipada).

The report brought to the section members’ notice issues consideration of the major tendencies of religious and aesthetic medium transformation laying the emphasis on the major factors of this transformation together with its socio-cultural basis. Based on the comparison of the processes taking place within Catholicism, Protestantism and Orthodoxy the report marks the concurrency of religious and aesthetic processes present within the named confessions which challenges the idea of absolute uniqueness of religious and aesthetic experience of the orthodox in Russia (...) nowadays. The syncretism in the first place and dialectical unity of fundamentalism and modernism in the second, can be considered as the leading tendencies of transformation of religious and aesthetic medium of modern Christianity. (shrink)

The article describes the application of the cassette method of passenger transportation, taking into account the dynamics of passenger traffic during the day by means of an intelligent transport system based on unmanned electric vehicles. The calculation of the required number of electric cars for the cassette for a one-time fulfillment of the delivery plan is presented.